typedef default = String;

function main() {}
